منابع مشابه
Circadian rhythms: PASsing time
Links are being discovered between the circadian clock mechanisms in different species. The Neurospora Frequency protein has a rhythm of abundance and phosphorylation similar to that of the Drosophila Period protein, and Neurospora and mouse clock components, like Period, have 'PAS' domains.
متن کاملReconciling Real-Time with Asynchronous Message Passing
At rst sight real time and asynchronous message passing like in SDL and ROOM seem to be incompatible Indeed these languages fail to model real time constraints accurately In this paper we show how to reconcile real time with asynchronous message passing by using an assumption which is supported by every mailing system throughout the world namely that messages are time stamped with their sending...
متن کاملBounded time-stamping in message-passing systems
Consider a distributed system running a protocol in which processes exchange information by passing messages. The gossip problem for the protocol is the following: Whenever a process q receives a message from another process p, q must be able to decide which of p and q has more recent information about r, for every other process r in the system. With this data, q is in a position to update its ...
متن کاملEstimating the Mode Shapes of a Bridge Using Short Time Transmissibility Measurement from a Passing Vehicle
This paper reports on the analysis of the signals sent by accelerometers fixed on the axles of a vehicle which passes over a bridge. The length of the bridge is divided into some parts and the transmissibility measurement is applied to the signals recorded by two following instrumented axles. As the transmissibility procedure is performed on the divided signals, the method is called Short Time ...
متن کاملOn Linear Time and Congruence in Channel-passing Calculi
Process algebras such as CSP or the Pi-calculus are theories to reason about concurrent software. The Pi-calculus also introduces channel passing to address specific issues in mobility. Despite their similarity, the languages expose salient divergences at the formal level. CSP is built upon trace semantics while labeled transition systems and bisimulation are the privileged tools to discuss the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 2006
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.333.7562.294